1861. Understanding complex datasets : data mining with matrix decompositions
پدیدآورنده : Skillicorn, David B.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Data mining,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
9
.
D343S57
1862. Understanding complex datasets :data mining with matrix decompositions
پدیدآورنده : Skillicorn, David B.
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Data mining,، Data structures )Computer science(,، Computer algorithms
رده :
QA
76
.
9
.
D343
S62
2007
1863. Understanding complex datasets data mining with matrix decompositions
پدیدآورنده : David Skillicorn
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Data mining,Data structures )Computer science(,Computer algorithms
رده :
QA
76
.
9
.
D343S62
2007
1864. Understanding machine learning :from theory to algorithms
پدیدآورنده : Shalev-Shwartz, Shai.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Machine learning,، Algorithms,، COMPUTERS / Computer Vision & Pattern Recognition
رده :
Q
325
.
5
.
S475
2014
1865. Understanding planning tasks
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence. ; Planning ; Mathematical models. ; Problem solving ; Mathematical models. ; Computer algorithms. ; Heuristic programming. ;
1866. Universal artificial intelligence
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence. ; Probabilities. ; Algorithms. ; Computer graphics. ;
1867. Universal routing strategies for interconnection networks
پدیدآورنده : Scheideler, Christian
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer networks,، Computer network protocols,، Computer algorithms,، Distributed operating systems )Computers(
رده :
QA
76
.
L28
Vol
.
1390
1868. Unsupervised learning algorithms
پدیدآورنده : / M. Emre Celebi, Kemal Aydin, editors
کتابخانه: Central library of medical university of Isfahan (Esfahan)
موضوع : Machine learning ,Computer algorithms
رده :
Q325
.
5
.
U5
2016
1869. VLSI Algorithms and Architectures : 3rd Aegean Workshop on Computing, AWOC88, Corfu, Greece, June 28-July, 1988 : Proceedings
پدیدآورنده : J.H. Reif ]ed.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Integrated circuits -- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
319
1870. VLSI algorithms and architectures: 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Integrated circuits-- Very large scale integration,Congresses ، Computer architecture,Congresses ، Algorithms
رده :
TK
7874
.
A338
1988
1871. Variants of evolutionary algorithms for real-world applications
پدیدآورنده : Raymond Chiong, Thomas Weise, and Zbigniew Michalewicz (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Evolutionary computation,Evolutionary programming (Computer science),Genetic algorithms
رده :
QA402
.
5
.
V37
2012eb
1872. Vector game math processors
پدیدآورنده : James Leiterman
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
رده :
QA76
.
5
.
L446
2003eb
1873. Veracity of big data :
پدیدآورنده : Vishnu Pendyala.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Data editing.,Data integrity.,Databases-- Evaluation.,Verification (Logic)-- Computer programs.,Artificial intelligence.,Computer algorithms.,COMPUTERS-- General.,Data editing.,Data integrity.,Databases-- Evaluation.,Databases.
رده :
QA76
.
9
.
A43
1874. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
1875. Verification of reactive systems :
پدیدآورنده : Klaus Schneider.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
رده :
QA76
.
76
.
V47
K538
2004
1876. Verification of reactive systems: formal methods and algorithms
پدیدآورنده : Schneider, Klaus
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
رده :
QA
76
.
76
.
V47
.
S34
2003
1877. Vision chips : implementing vision algorithms with analog VLSI circuits
پدیدآورنده : ]edited by[ Christof Koch, Hua Li
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer vision , Integrated circuits - Very large scale integration , Computer algorithms
رده :
TA
1634
.
V54
1878. Vlsi algorithms & architectures:3rd aegean workshop on computing,
پدیدآورنده :
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : INTEGRATED CIRCUITES-VERY LARGE SCALE , COMPUTER ARCHITECTURE-CONGRESSES , ALGORITHMS-CONGRESSE
رده :
TK
7874
.
A338
1988
1879. WALCOM
پدیدآورنده : \ [edited by] M. Sohel Rahman, Etsuji Tomita.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتم‌های کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
A43W32
2015
E-Book
,
1880. WALCOM
پدیدآورنده : Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
